从化学视角剖析烫发、染发原理及顺序*

从头发的结构和组成出发分析头发形状和颜色改变的可能性,剖析烫发、染发的化学原理,阐释先烫发后染发的本质原因,从化学视角辨证地看待烫发、染发的利弊。     

TFSI钝化晶体硅表面性质的第一性原理研究

晶体硅表面钝化是高效率晶体硅太阳能电池的核心技术,直接影响晶体硅器件的性能。本文采用第一性原理方法研究了一种超强酸-双三氟甲基磺酰亚胺(TFSI)钝化晶体硅(001)表面。研究发现,TFSI的四氧原子结构能够与Si(001)表面Si原子有效成键,吸附能达到-5.124 eV。电子局域函数研究表明,TFSI的O原子与晶体硅表面的Si的成键类型为金属键。由态密度和电荷差分密度分析可知,Si表面原子的电子向TFSI转移,从而有效降低了Si表面的电子复合中心,有利于提高晶体硅的少子寿命。Bader电荷显示,伴随着TFSI钝化晶体硅表面的Si原子,表面Si原子电荷电量减少,而TFSI中的O原子和S原子电荷电量相应增加,进一步证明了TFSI钝化Si表面后的电子转移。该工作为第一性原理方法预测有机强酸钝化晶体硅表面的钝化效果提供了数据支撑。     

突出矿井瓦斯抽放限制影响因素的AHP-熵权法评价模型

为提高煤与瓦斯突出矿井瓦斯抽放效果,建立了3个一级指标、14个二级指标的突出矿井瓦斯抽放限制影响因素评价指标体系,利用AHP和熵权法分别确定指标因子主、客观权重.通过实地调研分析和反馈验证了AHP-熵权法的可行性和正确性,利用加权平均法确定评价模型的综合权重.研究表明:封孔方式、钻孔半径、抽放时间、煤体裂隙发育程度和抽放负压是目前影响煤矿瓦斯抽放效果的主控因素.     

大尺寸电阻加热式碳化硅晶体生长热场设计与优化

大尺寸低缺陷碳化硅(SiC)单晶体是功率器件和射频(RF)器件的重要基础材料,物理气相传输(physical vapor transport, PVT)法是目前生长大尺寸SiC单晶体的主要方法。获得大尺寸高品质晶体的核心是通过调节组分、温度、压力实现气相组分在晶体生长界面均匀定向结晶,同时尽可能减小晶体的热应力。本文对电阻加热式8英寸(1英寸=2.54 cm)碳化硅大尺寸晶体生长系统展开热场设计研究。首先建立描述碳化硅原料受热分解热质输运及其多孔结构演变、系统热输运的物理和数学模型,进而使用数值模拟方法研究加热器位置、加热器功率和辐射孔径对温度分布的影响及其规律,并优化热场结构。数值模拟结果显示,通过优化散热孔形状、保温棉的结构等设计参数,电阻加热式大尺寸晶体生长系统在晶锭厚度变化、多孔介质原料消耗的情况下均能达到较低的晶体横向温度梯度和较高的纵向温度梯度。     

Full cross-diffusion limit in the stationary Shigesada-Kawasaki-Teramoto model

This paper studies the asymptotic behavior of coexistence steady-states of the Shigesada-Kawasaki-Teramoto model as both cross-diffusion coefficients tend to infinity at the same rate. In the case when either one of two cross-diffusion coefficients tends to infinity, Lou and Ni [18] derived a couple of limiting systems, which characterize the asymptotic behavior of coexistence steady-states. Recently, a formal observation by Kan-on [10] implied the existence of a limiting system including the nonstationary problem as both cross-diffusion coefficients tend to infinity at the same rate. This paper gives a rigorous proof of his observation as far as the stationary problem. As a key ingredient of the proof, we establish a uniform $L^{\infty }$ estimate for all steady-states. Thanks to this a priori estimate, we show that the asymptotic profile of coexistence steady-states can be characterized by a solution of the limiting system.     

基于TOPSIS模型的机场网络节点重要度评估

在机场网络中单个机场节点的失效往往会对其他的节点产生影响,特别是关键节点的失效会波及整个网络.准确客观的识别重要节点机场关乎整个机场网络的安全运营.本文分析了机场网络拓扑特性中的度、集聚系数和接近度指标,考虑了机场旅客吞吐量和所在城市人口等交通经济特性指标,使用熵权法确定权重的基础上,应用TOPSIS法构建综合评价体系模型,最后以华东地区机场网络为例进行节点重要度排序.结果表明与单一指标的评估结果相比,该方法更加全面客观的确定不同属性指标的权重,避免了不同指标取值的差异性,使评价更加全面,更符合机场网络实际运营情况.     

A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.